A Syntax for Rules in OWL 2
نویسندگان
چکیده
Being able to extend an OWL ontology with some form of rules is a feature that many ontology developers consider as very important. Nevertheless, working with rules in practice can be difficult since the tool support is not as good as for handling ontologies without rules. Furthermore, the existing rule syntaxes are not very well aligned with the new OWL 2 standard. We propose, therefore, an extension to OWL 2 for representing rules, which is directly inspired by (DL Safe) SWRL rules, but uses and extends the succinct and human-readable functional-style syntax of OWL 2. We also propose an OWL/XML version of the syntax to allow for easy XML serialization. Support for parsing such rules has been added to the new OWL API 3.0 and reasoning over ontologies extended with these rules is possible with the two OWL 2 reasoners Pellet and HermiT. In HermiT, these rules can also be used in conjunction with Description Graphs.
منابع مشابه
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express “variable nominal classes” within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering th...
متن کاملOWL rules: A proposal and prototype implementation
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present SWRL (the Semantic Web Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. SWRL extends OWL in a syntactically and semantically coherent manner: th...
متن کاملWSML Deliverable D 20 . 1 v 0 . 2 OWL Flight WSML Working Draft
This deliverable presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Lite−. OWL Lite− is a strict subset of OWL Lite and can be translated directly into the deductive database language Datalog. Thus, any OWL Lite− ontology can be translated into Datalog, in order to allow for efficient query answering. It turns out that most current ontologies fall ins...
متن کاملCombining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailment. We start from an abstract syntax that views a rule as a pair of rule graphs which generalize RDF graphs by also allowing rule variables in subject, predicate and object positions. We include RDFS as well as a decidable part of OWL that weakens D-entailment and OWL F...
متن کاملDatalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
This paper is devoted to formats and translations for Datalog+. We first introduce the dlgp format, which extends classical Datalog format to Datalog+. It allows to encode facts, existential rules (including equality), negative constraints and conjunctive queries. Moreover, for compatibility with Semantic Web languages, this format includes Web notions (IRIs and literals, according to Turtle sy...
متن کامل